body{font-family: "Bitstream Vera Sans Mono", monospace;}
a, a:visited, a:link {text-decoration: none;color:inherit;font-family: inherit;}
a:hover,a:active {background-color: #a3c8ff; color:inherit;font-family: inherit;text-decoration: none;}
.m0{font-weight: bold;}
.m1{ text-decoration: underline }
.m2{ font-style: italic;}